logical consequence relation造句

There are systems weaker than full first-order logic for which the logical consequence relation is decidable.
Pluralism about logical consequence says that because different logical systems have different logical consequence relations, there is therefore more than one correct logic.
In particular, the ( semantic ) logical consequence relation for second-order and higher-order logic is not semidecidable; there is no effective deduction system for second-order logic that is sound and complete under full semantics.
It's difficult to find logical consequence relation in a sentence. 用logical consequence relation造句挺难的